Theoretical Limits of Provable Security Against Model Extraction by Efficient Observational Defenses | IEEE Conference Publication | IEEE Xplore